@dup[]
@dup[]
control c() {
    apply {}
}
